Elucidating concurrent algorithms via layers of abstraction and reification
نویسندگان
چکیده
منابع مشابه
Data Reification without Explicit Abstraction Functions
Data rei cation normally involves the explicit positing of an abstraction function with certain properties. However, the condition for one de nition to reify another only requires that a function with such properties should exist. This suggests that it may be possible to carry through a data rei cation without giving an explicit de nition of the abstraction function at all. This paper explores ...
متن کاملQuery Terms Abstraction Layers
A problem with traditional information retrieval systems is that they typically retrieve information without an explicitly defined domain of interest to the user. Consequently, the system presents a lot of information that is of little relevance to the user. Ideally, the queries’ real intentions should be exposed and reflected in the way the underlying retrieval machinery can deal with them. In...
متن کاملAbstraction Layers for Scalable
ion Layers for Scalable Microfluidic Biocomputers (Extended Version) William Thies, John Paul Urbanski, Todd Thorsen, and Saman Amarasinghe Abstraction Layers for Scalable Microfluidic Biocomputers (Extended Version∗) William Thies†, John Paul Urbanski§, Todd Thorsen§, and Saman Amarasinghe† †MIT Computer Science and Artificial Intelligence Laboratory §MIT Hatsopoulos Microfluids Laboratory {th...
متن کاملAbstraction for Concurrent Objects
ion for Concurrent Objects Ivana Filipović, Peter O’Hearn, Noam Rinetzky1, Hongseok Yang Queen Mary University of London, UK
متن کاملAbstraction Layers for Scalable Microfluidic
ion Layers for Scalable Microfluidic Biocomputers (Extended Version∗) William Thies†, John Paul Urbanski§, Todd Thorsen§, and Saman Amarasinghe† †MIT Computer Science and Artificial Intelligence Laboratory §MIT Hatsopoulos Microfluids Laboratory {thies, urbanski, thorsen, saman}@mit.edu
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Aspects of Computing
سال: 2010
ISSN: 0934-5043,1433-299X
DOI: 10.1007/s00165-010-0156-1